119,59€(IVA inc.)
Formal Verification of Simulink/Stateflow Diagrams
- Zhan, Naijun
- 978-3-319-47014-6
- 2016-12-14
119,59€(IVA inc.)
Formal Verification of Simulink/Stateflow Diagrams
- Zhan, Naijun
- 978-3-319-83638-6
- 2018-06-29